<?php
/* echo $_SERVER['REQUEST_URI']."<br>".$_SERVER['QUERY_STRING']."<br>"; */
$startmicrotime=microtime_float();

require_once 'include/master.inc.php';

function microtime_float() {
  return (float) (vsprintf('%d.%06d', gettimeofday()));
}
?>